Issue543.agda:34,10-72
.(true) != true of type Bool
when checking that the inferred type of an application
  .(true) ≡ unsquash _y_27
matches the expected type
  true ≡ false
